Inhalt des Dokuments

Diplom

Session Types for Distributed Algorithms

Montag, 16. Juni 2014

Betreuer/in: Dr. Peters
Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Dr. Kammüller

Li, Liangliang

---